Modeling and Analysis of Software Product Line Variability in Clafer - Bak, Kacper (UWSpace, 2013)